141 research outputs found

    MCSH, a lock with the standard interface

    Get PDF
    The MCS lock of Mellor-Crummey and Scott (1991), 23 pages. is a very efficient first-come first-served mutual-exclusion algorithm that uses the atomic hardware primitives fetch-and-store and compare-and-swap. However, it has the disadvantage that the calling thread must provide a pointer to an allocated record. This additional parameter violates the standard locking interface, which has only the lock as a parameter. Hence, it is impossible to switch to MCS without editing and recompiling an application that uses locks.This article provides a variation of MCS with the standard interface, which remains FCFS, called MCSH. One key ingredient is to stack allocate the necessary record in the acquire procedure of the lock, so its life-time only spans the delay to enter a critical section. A second key ingredient is communicating the allocated record between the acquire and release procedures through the lock to maintain the standard locking interface. Both of these practices are known to practitioners, but our solution combines them in a unique way. Furthermore, when these practices are used in prior papers, their correctness is often argued informally. The correctness of MCSH is verified rigorously with the proof assistant PVS, and experiments are run to compare its performance with MCS and similar locks

    Процесс фтороаммонийной переработки высокофтористых бериллиевых концентратов

    Get PDF
    В работе приведено научное обоснование способа фтороаммонийной переработки высокофтористого бериллиевого концентрата, предложены технологические режимы переработки бериллиевого концентрата. Исследование технологического процесса и определение режимов, обеспечивающих экономически эффективную переработку концентратов, проводили на специально изготовленной опытной установке. В результате работы создана и апробирована принципиальная схема переработки бериллиевых концентратов, разработано аппаратурное оформление процесса. Приведено технико-экономическое обоснование технологии.The scientific substantiation of the processing of high-fluoride beryllium concentrates by ammonium fluoride is given in graduation thesis. Technological conditions of beryllium concentrate processing are proposed. The research of the technological process and determination of the conditions providing cost-effective processing of concentrates was carried out on a specially manufactured pilot plant. As a result of the work, a basic scheme for the processing of beryllium concentrates was developed and approved, and the hardware design of the process was developed. The feasibility study of technology is shown

    The BBCH system to coding the phenological growth stages of plants – history and publications –

    Get PDF
    Die Entwicklungsstadien der wichtigsten Kulturpflanzen wurden in den vergangenen 19 Jahren von zahlreichen Wissenschaftlern nach den Prinzipien der erweiterten BBCH-Skala beschrieben. Die BBCH-Skalen sind inzwischen weltweit bekannt und werden von Wissenschaft, Administration und Praxis in Landwirtschaft und Gartenbau ebenso genutzt, wie in der Phänologie als integrative Wissenschaft im Bereich Umwelt, Meteorologie und Klimatologie. Diese Tatsache weist darauf hin, dass Zielsetzung und Hoffnung, die seit dem Beginn der Arbeit damit verbunden waren, sich erfüllt haben. Die BBCH-Skalen haben sich als hilfreich und praktisch erwiesen. Das Ziel, die Harmonisierung in der Anwendung von Dezimalcodes für die Beschreibung der phänologischen Entwicklungsstadien von Kulturpflanzen und Unkräutern herbeizuführen, wurde erreicht. Sie erfüllten auch die Hoffnung der Initiatoren, damit zur Verbesserung der internationalen agrarwissenschaftlichen und interdisziplinären Kommunikation beizutragen. In der vorliegenden Arbeit soll die Geschichte der BBCH-Skalen aufgezeigt werden, weil diese Einblick in die Hintergründe ihrer Entstehung und Entwicklung erlaubt. Alle Original-Publikationen werden mit ihren Literaturquellen zusammenfassend dargelegt. Die Arbeit soll die unterschiedliche Nutzung der BBCH-Skalen in den verschiedenen wissenschaftlichen Disziplinen dokumentieren. Es soll deutlich werden, dass der weltweite Erfolg der BBCH-Skalen vielen Wissenschaftlern rund um den Globus zu verdanken ist.The growth stages of development of many cultivated plants have been described by numerous scientists according to the principles of the extended BBCH scale within the last 19 years. The BBCH scales are now well- known worldwide and are used by research, administration and practise in agriculture and horticulture, as in the phenology as an integrative science in environment, meteorology and climatology. This fact indicates that the basic objectives and hope have been reached, justifying the practical approach taken by the authors of this scale. The BBCH scale is a contribution to improve the communication between different groups of scientists and to allow the interchange of data and scientific results in a transparent way. The BBCH scales have turned out helpful and practical. The aim to cause the harmonisation in the application of decimal codes for the description of the phenological growth stages of plants and weeds was reached. They also fulfilled the hope of the initiators to contribute with it to the improvement of the international agrarian-scientific and interdisciplinary communication. This paper will describe the history and background of the BBCH scales. The original publications are described and explained with reference of the original literature sources. The paper will describe the different area of use of the scales and list the different scientific disciplines using them. The worldwide success of the BBCH scales is the work of many scientists around the globe

    Cotranslational protein assembly imposes evolutionary constraints on homomeric proteins

    Get PDF
    Cotranslational protein folding can facilitate rapid formation of functional structures. However, it might also cause premature assembly of protein complexes, if two interacting nascent chains are in close proximity. By analyzing known protein structures, we show that homomeric protein contacts are enriched towards the C-termini of polypeptide chains across diverse proteomes. We hypothesize that this is the result of evolutionary constraints for folding to occur prior to assembly. Using high-throughput imaging of protein homomers in vivo in E. coli and engineered protein constructs with N- and C-terminal oligomerization domains, we show that, indeed, proteins with C-terminal homomeric interface residues consistently assemble more efficiently than those with N-terminal interface residues. Using in vivo, in vitro and in silico experiments, we identify features that govern successful assembly of homomers, which have implications for protein design and expression optimization

    Circadian Rhythm and Sleep Disruption: Causes, Metabolic Consequences and Countermeasures.

    Get PDF
    Circadian (∼ 24 hour) timing systems pervade all kingdoms of life, and temporally optimize behaviour and physiology in humans. Relatively recent changes to our environments, such as the introduction of artificial lighting, can disorganize the circadian system, from the level of the molecular clocks that regulate the timing of cellular activities to the level of synchronization between our daily cycles of behaviour and the solar day. Sleep/wake cycles are intertwined with the circadian system, and global trends indicate that these too are increasingly subject to disruption. A large proportion of the world's population is at increased risk of environmentally-driven circadian rhythm and sleep disruption, and a minority of individuals are also genetically predisposed to circadian misalignment and sleep disorders. The consequences of disruption to the circadian system and sleep are profound and include myriad metabolic ramifications, some of which may be compounded by adverse effects on dietary choices. If not addressed, the deleterious effects of such disruption will continue to cause widespread health problems; therefore, implementation of the numerous behavioural and pharmaceutical interventions that can help restore circadian system alignment and enhance sleep will be important

    Host–pathogen interactions in bacterial meningitis

    Get PDF

    The reference site collaborative network of the european innovation partnership on active and healthy ageing

    Get PDF
    Seventy four Reference Sites of the European Innovation Partnership on Active and Healthy Ageing (EIP on AHA) have been recognised by the European Commission in 2016 for their commitment to excellence in investing and scaling up innovative solutions for active and healthy ageing. The Reference Site Collaborative Network (RSCN) brings together the EIP on AHA Reference Sites awarded by the European Commission, and Candidate Reference Sites into a single forum. The overarching goals are to promote cooperation, share and transfer good practice and solutions in the development and scaling up of health and care strategies, policies and service delivery models, while at the same time supporting the action groups in their work. The RSCN aspires to be recognized by the EU Commission as the principal forum and authority representing all EIP on AHA Reference Sites. The RSCN will contribute to achieve the goals of the EIP on AHA by improving health and care outcomes for citizens across Europe, and the development of sustainable economic growth and the creation of jobs
    corecore